[panel] Work around Clutter bug causing missing name

The .text property doesn't queue a resize, see:
http://bugzilla.openedhand.com/show_bug.cgi?id=1851

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 1365b663a761da16bd37142d79dea93718382d8c..20251b5cadaa757e350807abe853099308fb57c0 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -151,12 +151,14 @@ AppPanelMenu.prototype = {
             let icon = this._focusedApp.create_icon_texture(PANEL_ICON_SIZE);
             this._iconBox.append(icon, Big.BoxPackFlags.NONE);
             this._iconBox.show();
-            this._label.text = this._focusedApp.get_name();
+            let appName = this._focusedApp.get_name();
+            // Use _set_text to work around http://bugzilla.openedhand.com/show_bug.cgi?id=1851
+            this._label.set_text(appName);
         } else if (this._activeSequence != null) {
             let icon = this._activeSequence.create_icon(PANEL_ICON_SIZE);
             this._iconBox.append(icon, Big.BoxPackFlags.NONE);
             this._iconBox.show();
-            this._label.text = this._activeSequence.get_name();
+            this._label.set_text(this._activeSequence.get_name());
         }
 
         this.emit('changed');